Majzik, Z.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Polyyne formation via skeletal rearrangement induced by atomic manipulation

Pavliček, Niko, Gawel, Przemyslaw, Kohn, Daniel R., Majzik, Zsolt, Xiong, Yaoyao, Meyer, Gerhard, Anderson, Harry L., Gross, Leo

Journal:

Nature Chemistry

Year:

2018

Language:

english

File:

PDF, 1.74 MB

english, 2018

2

Revisiting Kekulene: Synthesis and Single Molecule Imaging

Pozo, Iago, Majzik, Zsolt, Pavliček, Niko, Melle-Franco, Manuel, Guitián, Enrique, Peña, Diego, Gross, Leo, Pérez, Dolores

Journal:

Journal of the American Chemical Society

Year:

2019

Language:

english

File:

PDF, 928 KB

english, 2019

3

Surfactant double layer stabilized magnetic nanofluids for biomedical application

Tombácz, E, Bica, D, Hajdú, A, Illés, E, Majzik, A, Vékás, L

Journal:

Journal of Physics Condensed Matter

Year:

2008

Language:

english

File:

PDF, 273 KB

english, 2008

4

Contribution of Sample Processing to Variability and Accuracy of the Results of Pesticide Residue Analysis in Plant Commodities

Ambrus, Árpád, Buczkó, Judit, Hamow, Kamirán Á., Juhász, Viktor, Solymosné Majzik, Etelka, Szemánné Dobrik, Henriett, Szitás, Róbert

Journal:

Journal of Agricultural and Food Chemistry

Year:

2016

Language:

english

File:

PDF, 7.46 MB

english, 2016

5

Component-wise incremental LTL model checking

Molnár, Vince, Vörös, András, Darvas, Dániel, Bartha, Tamás, Majzik, István

Journal:

Formal Aspects of Computing

Year:

2016

Language:

english

File:

PDF, 1.81 MB

english, 2016

6

[IEEE 2016 IEEE 14th International Conference on Industrial Informatics (INDIN) - Poitiers, France (2016.7.19-2016.7.21)] 2016 IEEE 14th International Conference on Industrial Informatics (INDIN) - PLC code generation based on a formal specification language

Darvas, Daniel, Vinuela, Enrique Blanco, Majzik, Istvan

Year:

2016

Language:

english

File:

PDF, 1.16 MB

english, 2016

7

Synthesis and characterization of triangulene

Pavliček, Niko, Mistry, Anish, Majzik, Zsolt, Moll, Nikolaj, Meyer, Gerhard, Fox, David J., Gross, Leo

Journal:

Nature Nanotechnology

Year:

2017

Language:

english

File:

PDF, 1.86 MB

english, 2017

8

PLC Program Translation for Verification Purposes

Darvas, Dániel, Majzik, István, Blanco Viñuela, Enrique

Journal:

Periodica Polytechnica Electrical Engineering and Computer Science

Year:

2017

Language:

english

File:

PDF, 944 KB

english, 2017

9

Watchdog processors in parallel systems

András Pataricza, István Majzik, Wolfgang Hohl, Joachim Hönig

Journal:

Microprocessing and Microprogramming

Year:

1993

Language:

english

File:

PDF, 496 KB

english, 1993

10

Optical and structural properties of protein/gold hybrid bio-nanofilms prepared by layer-by-layer method

Edit Pál, Viktória Hornok, Dániel Sebők, Andrea Majzik, Imre Dékány

Journal:

Colloids and Surfaces B: Biointerfaces

Year:

2010

Language:

english

File:

PDF, 1.24 MB

english, 2010

11

Methods of checking general safety criteria in UML statechart specifications

Zsigmond Pap, István Majzik, András Pataricza, András Szegi

Journal:

Reliability Engineering & System Safety

Year:

2005

Language:

english

File:

PDF, 604 KB

english, 2005

12

Temporal analysis of data flow control systems

Cinzia Bernardeschi, Andrea Bondavalli, Gyorgy Csertán, Istvan Majzik, Luca Simoncini

Journal:

Year:

1998

Language:

english

File:

PDF, 1.64 MB

english, 1998

13

Growing and stability of gold nanoparticles and their functionalization by cysteine

Andrea Majzik, Rita Patakfalvi, Viktória Hornok, Imre Dékány

Journal:

Year:

2009

Language:

english

File:

PDF, 888 KB

english, 2009

14

Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker

Diego Latella, Istvan Majzik, Mieke Massink

Journal:

Formal Aspects of Computing

Year:

1999

Language:

english

File:

PDF, 255 KB

english, 1999

15

Functionalization of gold nanoparticles with amino acid, β-amyloid peptides and fragment

A. Majzik, L. Fülöp, E. Csapó, F. Bogár, T. Martinek, B. Penke, G. Bíró, I. Dékány

Journal:

Colloids and Surfaces B: Biointerfaces

Year:

2010

Language:

english

File:

PDF, 620 KB

english, 2010

16

Tool Support for Engineering Certifiable Software

László Gönczy, István Majzik, Akos Horváth, Dániel Varró, András Balogh, Zoltán Micskei, András Pataricza

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 690 KB

english, 2009

17

SPE-LC-MS-MS Determination of Phenoxy Acid Herbicides in Surface and Ground Water

E. Solymosné Majzik, F. Tóth, L. Benke, Zs. Kiss

Journal:

Chromatographia

Year:

2006

Language:

english

File:

PDF, 309 KB

english, 2006

18

Chemical Identification of Single Atoms in Heterogeneous III–IV Chains on Si(100) Surface by Means of nc-AFM and DFT Calculations

Setvín, Martin, Mutombo, Pingo, Ondráček, Martin, Majzik, Zsolt, Švec, Martin, Cháb, Vladimír, Ošt’ádal, Ivan, Sobotík, Pavel, Jelínek, Pavel

Journal:

Year:

2012

Language:

english

File:

PDF, 4.35 MB

english, 2012

19

Thermally activated reconstruction of TiO2(1 1 0)-(1 × 1) surface in the presence of potassium: An STM study

Z. Majzik, N. Balázs, A. Berkó

Journal:

Catalysis Today

Year:

2012

Language:

english

File:

PDF, 1.18 MB

english, 2012

20

Tunneling induced decomposition of Mo(CO)6 onto TiO2(110) surface

Z. Majzik, N. Balázs, L. Robin, M. Petukhov, B. Domenichini, S. Bourgeois, A. Berkó

Journal:

Year:

2012

Language:

english

File:

PDF, 696 KB

english, 2012

21

Theoretical study of the adsorption of rhodium on a TiO2(1 1 0)-1 × 1 surface

P. Mutombo, N. Balázs, Z. Majzik, A. Berkó, V. Cháb

Journal:

Applied Surface Science

Year:

2012

Language:

english

File:

PDF, 496 KB

english, 2012

22

The role of reactive surface sites and complexation by humic acids in the interaction of clay mineral and iron oxide particles

Etelka Tombácz, Zsuzsanna Libor, Erzsébet Illés, Andrea Majzik, Erwin Klumpp

Journal:

Organic Geochemistry

Year:

2004

Language:

english

File:

PDF, 391 KB

english, 2004

23

Interaction between humic acid and montmorillonite in the presence of calcium ions I. Interfacial and aqueous phase equilibria: Adsorption and complexation

Andrea Majzik, Etelka Tombácz

Journal:

Organic Geochemistry

Year:

2007

Language:

english

File:

PDF, 222 KB

english, 2007

24

Interaction between humic acid and montmorillonite in the presence of calcium ions II. Colloidal interactions: Charge state, dispersing and/or aggregation of particles in suspension

Andrea Majzik, Etelka Tombácz

Journal:

Organic Geochemistry

Year:

2007

Language:

english

File:

PDF, 250 KB

english, 2007

25

Synthesis and characterization of Ag/Au alloy and core(Ag)–shell(Au) nanoparticles

Edit Csapó, Albert Oszkó, Erika Varga, Ádám Juhász, Norbert Buzás, László Kőrösi, Andrea Majzik, Imre Dékány

Journal:

Colloids and Surfaces A: Physicochemical and Engineering Aspects

Year:

2012

Language:

english

File:

PDF, 957 KB

english, 2012

26

Ordered SMSI Decoration Layer on Rh Nanoparticles Grown on TiO 2 (110) Surface

Majzik, Z., Balázs, N., Berkó, A.

Journal:

The Journal of Physical Chemistry C

Year:

2011

Language:

english

File:

PDF, 5.76 MB

english, 2011

27

Combined AFM and STM measurements of a silicene sheet grown on the Ag(111) surface

Majzik, Z, Rachid Tchalala, M, Švec, M, Hapala, P, Enriquez, H, Kara, A, Mayne, A J, Dujardin, G, Jelínek, P, Oughaddou, H

Journal:

Journal of Physics Condensed Matter

Year:

2013

Language:

english

File:

PDF, 695 KB

english, 2013

28

[IEEE Comput. Soc ASE 2002. 17th IEEE International Conference on Automated Software Engineering - Edinburgh, UK (23-27 Sept. 2002)] Proceedings 17th IEEE International Conference on Automated Software Engineering, - VIATRA - visual automated transformations for formal verification and validation of UML models

Csertan, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Varro, D.

Year:

2002

Language:

english

File:

PDF, 242 KB

english, 2002

29

A Case Study to Assess the Sample Preparation Error in Pesticide Residue Analysis

Yolci Omeroglu, Perihan, Ambrus, Árpad, Boyacioglu, Dilek, Majzik, Etelka Solymosné

Journal:

Food Analytical Methods

Year:

2015

Language:

english

File:

PDF, 1.95 MB

english, 2015

30

Surface Structure and Composition of Au−Rh Bimetallic Nanoclusters on TiO 2 (110): A LEIS and STM Study

Óvári, László, Bugyi, László, Majzik, Zsolt, Berkó, András, Kiss, János

Journal:

The Journal of Physical Chemistry C

Year:

2008

Language:

english

File:

PDF, 582 KB

english, 2008

31

[IEEE Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed Computing, 2004. - Vienna, Austria (12-14 May 2004)] Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed Computing, 2004. Proceedings. - UML based design of time triggered systems

Majzik, I., Pinter, G., Kovacs, P.T.

Year:

2004

Language:

english

File:

PDF, 1.27 MB

english, 2004

32

[IEEE 2009 Fourth International Conference on Dependability of Computer Systems - Brunow, Poland (2009.06.30-2009.07.2)] 2009 Fourth International Conference on Dependability of Computer Systems - A Model Based Framework for Specifying and Executing Fault Injection Experiments

Olah, János, Majzik, István

Year:

2009

Language:

english

File:

PDF, 515 KB

english, 2009

33

[IEEE Comput. Soc 2nd IEEE International Symposium: Object-Real-Time Distributed Computing - Saint-Malo, France (2-5 May 1999)] Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702) - Automated dependability analysis of UML designs

Bondavalli, A., Majzik, I., Mura, I.

Year:

1999

Language:

english

File:

PDF, 35 KB

english, 1999

34

Identification of Surface Defects and Subsurface Dopants in a Delta-Doped System Using Simultaneous nc-AFM/STM and DFT

Spadafora, E. J., Berger, J., Mutombo, P., Telychko, M., Švec, M., Majzik, Z., McLean, A. B., Jelínek, P.

Journal:

The Journal of Physical Chemistry C

Year:

2014

Language:

english

File:

PDF, 7.16 MB

english, 2014

35

An Investigation of Ethylene Attachment to Si(111)–7 × 7 in the Restatom–Adatom Bridging Geometry: Electronic and Vibrational Properties

Majzik, Z., Kamiński, W., Weymouth, A. J., Vondráček, M., Zobač, V., Švec, M., Berkó, A., McLean, A. B., Prince, K. C., Jelínek, P., Cháb, V.

Journal:

The Journal of Physical Chemistry C

Year:

2011

Language:

english

File:

PDF, 4.23 MB

english, 2011

36

Room Temperature Discrimination of Adsorbed Molecules and Attachment Sites on the Si(111)–7 × 7 Surface Using a qPlus Sensor

Majzik, Zsolt, Drevniok, Benedict, Kamiński, Wojciech, Ondráček, Martin, McLean, Alastair B., Jelínek, Pavel

Journal:

Year:

2013

Language:

english

File:

PDF, 3.62 MB

english, 2013

37

Formation of Rh−Au Core−Shell Nanoparticles on TiO 2 (110) Surface Studied by STM and LEIS

Óvári, L., Berkó, A., Balázs, N., Majzik, Z., Kiss, J.

Journal:

Year:

2010

Language:

english

File:

PDF, 1.68 MB

english, 2010

38

[IEEE 2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN) - Anchorage, AK (2008.06.24-2008.06.27)] 2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN) - International Workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008)

Bondavalli, Andrea, Majzik, Istvan, van Moorsel, Aad

Year:

2008

Language:

english

File:

PDF, 485 KB

english, 2008

39

[IEEE 2009 Sixth International Conference on the Quantitative Evaluation of Systems (QEST) - Budapest, Hungary (2009.09.13-2009.09.16)] 2009 Sixth International Conference on the Quantitative Evaluation of Systems - Modular Construction of Dependability Models from System Architecture Models: A Tool-Supported Approach

Magyar, Melinda, Majzik, István

Year:

2009

Language:

english

File:

PDF, 211 KB

english, 2009

40

[IEEE Comput. Soc HASE 99: Fourth IEEE International Symposium on High Assurance Systems Engineering - Washington, DC, USA (17-19 Nov. 1999)] Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering - Automatic dependability analysis for supporting design decisions in UML

Bondavalli, A., Majzik, I., Mura, I.

Year:

1999

Language:

english

File:

PDF, 62 KB

english, 1999

41

The HIDENETS Holistic Approach for the Analysis of Large Critical Mobile Systems

Bondavalli, Andrea, Hamouda, Ossama, Kaaniche, Mohamed, Lollini, Paolo, Majzik, Istvan, Schwefel, Hans-Peter

Journal:

IEEE Transactions on Mobile Computing

Year:

2011

Language:

english

File:

PDF, 859 KB

english, 2011

42

[IEEE Comput. Soc. Press EUROMICRO 96. 22nd Euromicro Conference. Beyond 2000: Hardware and Software Design Strategies - Prague, Czech Republic (2-5 Sept. 1996)] Proceedings of EUROMICRO 96. 22nd Euromicro Conference. Beyond 2000: Hardware and Software Design Strategies - Reachability and timing analysis in data flow networks: a case study

Antal, B., Csertan, G., Majzik, I., Bondavalli, A., Simoncini, L.

Year:

1995

Language:

english

File:

PDF, 789 KB

english, 1995

43

[IEEE Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) - Heidelberg, Germany (12-14 Oct. 2005)] Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) - Design and Analysis of Fault Tolerant Architectures by Model Weaving

Domokos, P., Majzik, I.

Year:

2005

Language:

english

File:

PDF, 180 KB

english, 2005

44

[IEEE Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) - Heidelberg, Germany (12-14 Oct. 2005)] Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) - Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements

Pinter, G., Majzik, I.

Year:

2005

Language:

english

File:

PDF, 473 KB

english, 2005

45

[IEEE 2008 Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEX - Szklarska Poreba, Poland (2008.06.26-2008.06.28)] 2008 Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEX - A Resilient SIL 2 Driver Machine Interface for Train Control Systems

Ceccarelli, Andrea, Majzik, Istvan, Iovino, Danilo, Caneschi, Fausto, Pinter, Gergely, Bondavalli, Andrea

Year:

2008

Language:

english

File:

PDF, 191 KB

english, 2008

46

[IEEE Networks (DSN) - Lisbon, Portugal (2009.06.29-2009.07.2)] 2009 IEEE/IFIP International Conference on Dependable Systems & Networks - From assessment to standardised benchmarking: Will it happen? What could we do about it?

Madeira, Henrique, Majzik, Istvan

Year:

2009

Language:

english

File:

PDF, 114 KB

english, 2009

47

[Lecture Notes in Computer Science] Software Engineering for Resilient Systems Volume 8785 ||

Majzik, István, Vieira, Marco

Year:

2014

Language:

english

File:

PDF, 7.39 MB

english, 2014

48

Competition between thermally activated and tip-induced hopping of indium atoms on Si(100)

Setvín, Martin, Javorský, Jakub, Majzik, Zsolt, Sobotík, Pavel, Kocán, Pavel, Ošt’ádal, Ivan

Journal:

Physical Review B

Year:

2012

Language:

english

File:

PDF, 412 KB

english, 2012

49

[IEEE Comput. Soc EUROMICRO 2001. Proceedings of the 27th EUROMICRO Conference. 2001: A Net Odyssey - Warsaw, Poland (4-6 Sept. 2001)] Proceedings 27th EUROMICRO Conference. 2001: A Net Odyssey - Modeling and analysis of redundancy management in distributed object-oriented systems by using UML statecharts

Huszerl, G., Majzik, I.

Year:

2001

Language:

english

File:

PDF, 737 KB

english, 2001

50

Uncertainty of the sample size reduction step in pesticide residue analysis of large-sized crops

Omeroglu, P. Yolci, Ambrus, Á., Boyacioglu, D., Majzik, E. Solymosne

Journal:

Food Additives & Contaminants Part A

Year:

2013

Language:

english

File:

PDF, 1.29 MB

english, 2013

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски